TAGs: interval notation